<a href="http://semmle.com" href="https://semmle.com">Semmle</a>
